(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 13.2' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     22971,        652]
NotebookOptionsPosition[     20585,        605]
NotebookOutlinePosition[     20985,        621]
CellTagsIndexPosition[     20942,        618]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{"Clear", "[", "\"\<Global`*\>\"", "]"}]], "Input",
 CellLabel->
  "In[310]:=",ExpressionUUID->"3617b34d-ef09-4428-a2eb-79a12bd4ca3d"],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
   RowBox[{
    RowBox[{"Given", " ", "that", " ", "\[Alpha]"}], ">=", 
    RowBox[{"*", "\[CapitalOmega]", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", " ", 
   RowBox[{
    RowBox[{"the", " ", "probability", " ", "that", " ", "d_", "2"}], "=", 
    RowBox[{"lib", " ", "becomes"}]}]}], "*)"}]], "Input",
 CellChangeTimes->{{3.9529530155721416`*^9, 
  3.952953060746764*^9}},ExpressionUUID->"f9aa309a-25e8-4457-a9a0-\
2277dc54ac75"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"biasincons", "=", " ", 
  RowBox[{
   RowBox[{"(", " ", 
    RowBox[{"1", "-", 
     RowBox[{"(", 
      RowBox[{"y2", "+", "\[Alpha]", "+", 
       RowBox[{"\[CapitalOmega]", "*", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ")"}], "+", 
     RowBox[{"Integrate", "[", 
      RowBox[{
       RowBox[{"p", "-", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{"2", "p"}], "-", "1"}], ")"}], "*", 
         FractionBox[
          RowBox[{"y2", "+", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
          RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
       RowBox[{"{", 
        RowBox[{"x", ",", 
         RowBox[{"y2", "+", "\[Alpha]", "-", 
          RowBox[{"\[CapitalOmega]", "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
         RowBox[{"y2", "+", "\[Alpha]", "+", 
          RowBox[{"\[CapitalOmega]", "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
    ")"}], "/", 
   RowBox[{"(", 
    RowBox[{"1", "-", "y2", "-", "\[Alpha]", "-", 
     RowBox[{"\[CapitalOmega]", "*", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"2", "*", "p"}], "-", "1"}], ")"}]}], "+", 
     RowBox[{"Integrate", "[", 
      RowBox[{
       RowBox[{"p", "-", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{"2", "*", "p"}], "-", "1"}], ")"}], "*", 
         FractionBox[
          RowBox[{"y2", "+", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
          RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
       RowBox[{"{", 
        RowBox[{"x", ",", 
         RowBox[{"y2", "+", "\[Alpha]", "-", 
          RowBox[{"\[CapitalOmega]", "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
         RowBox[{"y2", "+", "\[Alpha]", "+", 
          RowBox[{"\[CapitalOmega]", "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
    ")"}]}]}]], "Input",
 CellChangeTimes->{{3.952953080472179*^9, 3.952953097176655*^9}},
 CellLabel->
  "In[311]:=",ExpressionUUID->"c46a4a56-c406-4c5c-922f-c8e82667596c"],

Cell[BoxData["1"], "Output",
 CellChangeTimes->{3.952953107112715*^9, 3.953052429838275*^9, 
  3.9531123916511173`*^9},
 CellLabel->
  "Out[311]=",ExpressionUUID->"c7eb2290-9afe-48b0-b2d1-05fac0b85a5a"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
     RowBox[{"If", " ", "\[Alpha]"}], "<", 
     RowBox[{"\[CapitalOmega]", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", " ", 
    RowBox[{
     RowBox[{"the", " ", "probability", " ", "that", " ", "d_", "2"}], "=", 
     RowBox[{"lib", " ", "becomes"}]}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{"biasincons", "=", " ", 
   RowBox[{
    RowBox[{"(", " ", 
     RowBox[{"1", "-", 
      RowBox[{"(", 
       RowBox[{"y2", "+", "\[Alpha]", "+", 
        RowBox[{"\[CapitalOmega]", "*", 
         RowBox[{"(", 
          RowBox[{
           RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ")"}], "+", 
      RowBox[{"Integrate", "[", 
       RowBox[{
        RowBox[{"p", "-", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{"2", "p"}], "-", "1"}], ")"}], "*", 
          FractionBox[
           RowBox[{"y2", "+", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
           
           RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
        RowBox[{"{", 
         RowBox[{"x", ",", 
          RowBox[{"y2", "+", 
           RowBox[{"\[CapitalOmega]", "*", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
          RowBox[{"y2", "+", "\[Alpha]", "+", 
           RowBox[{"\[CapitalOmega]", "*", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}], 
      "+", " ", 
      RowBox[{"Integrate", "[", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{
          RowBox[{
           RowBox[{"p", "^", "2"}], 
           RowBox[{"(", 
            RowBox[{"1", "-", 
             FractionBox[
              RowBox[{
              "y2", "+", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
              RowBox[{"2", "*", "\[CapitalOmega]"}]]}], ")"}]}], "+", 
          RowBox[{"p", 
           RowBox[{"(", 
            RowBox[{"1", "-", "p"}], ")"}], "*", 
           FractionBox["\[Alpha]", 
            RowBox[{"2", "*", "\[CapitalOmega]"}]]}], "+", 
          RowBox[{
           RowBox[{
            RowBox[{"(", 
             RowBox[{"1", "-", "p"}], ")"}], "^", "2"}], "*", 
           FractionBox[
            RowBox[{"y2", "-", "x", "+", "\[CapitalOmega]"}], 
            RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ")"}], ",", 
        RowBox[{"{", 
         RowBox[{"x", ",", 
          RowBox[{"y2", "+", "\[Alpha]", "-", 
           RowBox[{"\[CapitalOmega]", "*", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
          RowBox[{"y2", "+", 
           RowBox[{"\[CapitalOmega]", "*", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
     ")"}], "/", 
    RowBox[{"(", 
     RowBox[{"1", "-", "y2", "-", "\[Alpha]", "-", 
      RowBox[{"\[CapitalOmega]", "*", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"2", "*", "p"}], "-", "1"}], ")"}]}], "+", 
      RowBox[{"Integrate", "[", 
       RowBox[{
        RowBox[{"p", "-", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{"2", "*", "p"}], "-", "1"}], ")"}], "*", 
          FractionBox[
           RowBox[{"y2", "+", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
           
           RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
        RowBox[{"{", 
         RowBox[{"x", ",", 
          RowBox[{"y2", "+", "\[Alpha]", "-", 
           RowBox[{"\[CapitalOmega]", "*", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
          RowBox[{"y2", "+", "\[Alpha]", "+", 
           RowBox[{"\[CapitalOmega]", "*", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
     ")"}]}]}]}]], "Input",
 CellChangeTimes->{{3.952953122702525*^9, 3.952953136176421*^9}},
 CellLabel->
  "In[312]:=",ExpressionUUID->"72e51ce6-d777-433d-acd1-c123d2cff257"],

Cell[BoxData[
 FractionBox[
  RowBox[{"1", "-", "y2", "-", 
   RowBox[{"4", " ", "p", " ", "\[Alpha]"}], "+", 
   RowBox[{"7", " ", 
    SuperscriptBox["p", "2"], " ", "\[Alpha]"}], "-", 
   RowBox[{"4", " ", 
    SuperscriptBox["p", "3"], " ", "\[Alpha]"}], "+", 
   FractionBox[
    SuperscriptBox["\[Alpha]", "2"], 
    RowBox[{"2", " ", "\[CapitalOmega]"}]], "-", 
   FractionBox[
    RowBox[{"3", " ", "p", " ", 
     SuperscriptBox["\[Alpha]", "2"]}], 
    RowBox[{"2", " ", "\[CapitalOmega]"}]], "+", 
   FractionBox[
    RowBox[{
     SuperscriptBox["p", "2"], " ", 
     SuperscriptBox["\[Alpha]", "2"]}], "\[CapitalOmega]"], "-", 
   "\[CapitalOmega]", "+", 
   RowBox[{"4", " ", "p", " ", "\[CapitalOmega]"}], "-", 
   RowBox[{"6", " ", 
    SuperscriptBox["p", "2"], " ", "\[CapitalOmega]"}], "+", 
   RowBox[{"4", " ", 
    SuperscriptBox["p", "3"], " ", "\[CapitalOmega]"}], "-", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", 
      RowBox[{"2", " ", "p"}]}], ")"}], " ", "\[CapitalOmega]"}]}], 
  RowBox[{"1", "-", "y2", "-", "\[Alpha]", "-", "\[CapitalOmega]", "+", 
   RowBox[{"2", " ", "p", " ", "\[CapitalOmega]"}], "-", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", 
      RowBox[{"2", " ", "p"}]}], ")"}], " ", "\[CapitalOmega]"}]}]]], "Output",\

 CellChangeTimes->{3.9529531377880383`*^9, 3.95305243202988*^9, 
  3.953112393139082*^9},
 CellLabel->
  "Out[312]=",ExpressionUUID->"7c70be9a-e332-47a0-81b3-06fd6c169002"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "which", " ", "is", " ", "equal", " ", "to", " ", "the", " ", "rearranged",
     " ", "expression", " ", "in", " ", "the", " ", "text"}], "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{"Simplify", "[", 
   RowBox[{"Equal", "[", 
    RowBox[{"biasincons", ",", 
     FractionBox[
      RowBox[{
       RowBox[{"2", "\[CapitalOmega]", 
        RowBox[{"(", 
         RowBox[{"1", "\[Minus]", "y2", "\[Minus]", 
          RowBox[{"p", 
           RowBox[{"(", 
            RowBox[{"4", "\[Minus]", 
             RowBox[{"7", "p"}], "+", 
             RowBox[{"4", 
              RowBox[{"p", "^", "2"}]}]}], ")"}], "\[Alpha]"}]}], ")"}]}], 
       "+", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{
          RowBox[{"\[Alpha]", "^", "2"}], "+", 
          RowBox[{"4", "p", "*", 
           RowBox[{"\[CapitalOmega]", "^", "2"}]}]}], ")"}], 
        RowBox[{"(", 
         RowBox[{"1", "\[Minus]", 
          RowBox[{"3", "p"}], "+", 
          RowBox[{"2", 
           RowBox[{"p", "^", "2"}]}]}], ")"}]}]}], 
      RowBox[{"2", "\[CapitalOmega]", 
       RowBox[{"(", 
        RowBox[{"1", "-", "y2", "-", "\[Alpha]"}], ")"}]}]]}], "]"}], 
   "]"}]}]], "Input",
 CellChangeTimes->{{3.9529531992033854`*^9, 3.9529532826603127`*^9}},
 CellLabel->
  "In[313]:=",ExpressionUUID->"a112d107-9e02-414f-a5e0-65bf309799bb"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.952953284065289*^9, 3.953052433411253*^9, 
  3.953112394729126*^9},
 CellLabel->
  "Out[313]=",ExpressionUUID->"6bec4dc2-6524-4a36-8148-3645ab56e019"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
  "The", " ", "derivative", " ", "of", " ", "this", " ", "expression", " ", 
   "with", " ", "respect", " ", "to", " ", "\[Alpha]", " ", "is"}], 
  "*)"}]], "Input",
 CellChangeTimes->{{3.9529532867299213`*^9, 
  3.9529533293179407`*^9}},ExpressionUUID->"f9b8163c-f85f-4bbc-bd47-\
8d3d1d54fdb9"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{"D", "[", 
   RowBox[{"biasincons", ",", "\[Alpha]"}], "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.952953343955614*^9, 3.952953352151485*^9}, 
   3.952953767564301*^9},
 CellLabel->
  "In[314]:=",ExpressionUUID->"db7cada0-1ec7-4046-8f5e-27c696d96d19"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", "p"}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "2"}], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "1"}], "+", 
        RowBox[{"2", " ", "p"}]}], ")"}], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "1"}], "+", "y2"}], ")"}], " ", "\[Alpha]"}], "+", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"1", "-", 
        RowBox[{"2", " ", "p"}]}], ")"}], " ", 
      SuperscriptBox["\[Alpha]", "2"]}], "+", 
     RowBox[{"2", " ", "\[CapitalOmega]", " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "1"}], "+", "y2", "+", 
        RowBox[{"p", " ", 
         RowBox[{"(", 
          RowBox[{"3", "-", 
           RowBox[{"3", " ", "y2"}], "-", 
           RowBox[{"2", " ", "\[CapitalOmega]"}]}], ")"}]}], "+", 
        RowBox[{"4", " ", 
         SuperscriptBox["p", "2"], " ", 
         RowBox[{"(", 
          RowBox[{
           RowBox[{"-", "1"}], "+", "y2", "+", "\[CapitalOmega]"}], ")"}]}]}],
        ")"}]}]}], ")"}]}], 
  RowBox[{"2", " ", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", "y2", "+", "\[Alpha]"}], ")"}], "2"], " ", 
   "\[CapitalOmega]"}]]], "Output",
 CellChangeTimes->{3.9529537740646343`*^9, 3.953052434700287*^9, 
  3.953112396496483*^9},
 CellLabel->
  "Out[314]=",ExpressionUUID->"eedd9df1-e3e7-4511-b071-b9c913743bb7"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{
   "which", " ", "is", " ", "equal", " ", "to", " ", "the", " ", "rearranged",
     " ", "expression", " ", "in", " ", "the", " ", "text"}], "*)"}], 
  "\[IndentingNewLine]"}]], "Input",
 CellChangeTimes->{{3.952953343955614*^9, 3.952953352151485*^9}, 
   3.952953767564301*^9},ExpressionUUID->"b949584c-9273-4d90-9be9-\
b5ed013a7d36"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{"Equal", "[", 
   RowBox[{
    RowBox[{"D", "[", 
     RowBox[{"biasincons", ",", "\[Alpha]"}], "]"}], ",", 
    FractionBox[
     RowBox[{
      RowBox[{"-", 
       RowBox[{"(", 
        RowBox[{"1", "-", "p"}], ")"}]}], 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{"2", "p"}], "\[Minus]", "1"}], ")"}], 
         RowBox[{"(", 
          RowBox[{
           RowBox[{"2", "\[Alpha]", 
            RowBox[{"(", 
             RowBox[{"1", "\[Minus]", "y2"}], ")"}]}], "\[Minus]", 
           RowBox[{"\[Alpha]", "^", "2"}]}], ")"}]}], "+", 
        RowBox[{"2", "\[CapitalOmega]", 
         RowBox[{"(", 
          RowBox[{
           RowBox[{
            RowBox[{"\[Minus]", 
             RowBox[{"(", 
              RowBox[{"1", "\[Minus]", "y2"}], ")"}]}], 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"4", 
               RowBox[{"p", "^", "2"}]}], "\[Minus]", 
              RowBox[{"3", "p"}], "+", "1"}], ")"}]}], "+", 
           RowBox[{"2", "p", "*", "\[CapitalOmega]", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"2", "p"}], "\[Minus]", "1"}], ")"}]}]}], ")"}]}]}], 
       ")"}]}], 
     RowBox[{"2", "\[CapitalOmega]", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"1", "-", "y2", "-", "\[Alpha]"}], ")"}], "^", "2"}]}]]}], 
   "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.952953353993787*^9, 3.952953366598771*^9}, {
  3.952953398831444*^9, 3.952953458691407*^9}, {3.952953561620757*^9, 
  3.952953564146988*^9}},
 CellLabel->
  "In[315]:=",ExpressionUUID->"89f0e175-e4cb-41ed-82b4-383605cad1c6"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.95295345921611*^9, 3.952953512911746*^9, 
  3.952953578267816*^9, 3.953052436557069*^9, 3.9531123988517723`*^9},
 CellLabel->
  "Out[315]=",ExpressionUUID->"700e9bd2-c9f0-4bc3-af23-1716f750dc8f"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
   RowBox[{"As", " ", "with", " ", "proposition", " ", "2"}], ",", " ", 
   RowBox[{
   "we", " ", "can", " ", "directly", " ", "reduce", " ", "the", " ", 
    "expression", " ", "given", " ", "conditions", " ", "on", " ", "our", " ",
     "paramaters"}], ",", " ", 
   RowBox[{
    RowBox[{"namely", " ", "that", " ", "0"}], "<", "y2", "<", "1"}], ",", 
   "\[IndentingNewLine]", " ", 
   RowBox[{
    RowBox[{"0", "<", "\[Alpha]", "<", 
     RowBox[{"\[CapitalOmega]", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], "&&", 
    RowBox[{
     RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}], "&&", 
    RowBox[{"\[CapitalOmega]", "<", 
     RowBox[{"y2", "-", "\[Alpha]"}]}], "&&", 
    RowBox[{"0", "<", "\[CapitalOmega]", "<", 
     RowBox[{"1", "-", 
      RowBox[{
       RowBox[{"y2", ".", " ", "These"}], " ", "conditions", " ", "entail", 
       " ", "that", " ", "both", " ", "courts", " ", "have", " ", "cutpoints",
        " ", "between", " ", "0", " ", "and", " ", "1.", " ", "And", " ", 
       "that", " ", "the", " ", "shock", " ", "cannot", " ", "be", " ", "so", 
       " ", "large", " ", "as", " ", "to", " ", "push", " ", 
       "\[IndentingNewLine]", "the", " ", "edge", " ", "of", " ", "the", " ", 
       "informative", " ", "region", " ", "outside", " ", "of", " ", "0", " ",
        "and", " ", "1", " ", "for", " ", "either", " ", "court"}]}]}]}]}], 
  "*)"}]], "Input",
 CellChangeTimes->{{3.952953518721449*^9, 3.952953522184334*^9}, 
   3.952953583052065*^9, {3.952953662415694*^9, 
   3.952953667255013*^9}},ExpressionUUID->"d15fd09d-2a94-4f5a-9468-\
64b5a7014b03"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"D", "[", 
     RowBox[{"biasincons", ",", "\[Alpha]"}], "]"}], ">", "0"}], "&&", 
   RowBox[{"0", "<", "\[Alpha]", "<", 
    RowBox[{"\[CapitalOmega]", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], "&&", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}], "&&", 
   RowBox[{"\[CapitalOmega]", "<", 
    RowBox[{"y2", "+", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "\[CapitalOmega]", "<", 
    RowBox[{"1", "-", "y2", "-", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "y2", "<", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.952953580936254*^9, 3.9529535809515343`*^9}, {
   3.952953681823633*^9, 3.9529537230830917`*^9}, 3.953052425265788*^9},
 CellLabel->
  "In[316]:=",ExpressionUUID->"40127503-021c-4797-8dae-1f5dd1004206"],

Cell[BoxData[
 RowBox[{
  RowBox[{"0", "<", "\[Alpha]", "<", 
   FractionBox["1", "2"]}], "&&", 
  RowBox[{"\[Alpha]", "<", "\[CapitalOmega]", "<", 
   FractionBox["1", "2"]}], "&&", 
  RowBox[{
   RowBox[{
    RowBox[{"-", "\[Alpha]"}], "+", "\[CapitalOmega]"}], "<", "y2", "<", 
   RowBox[{"1", "-", "\[Alpha]", "-", "\[CapitalOmega]"}]}], "&&", 
  RowBox[{
   FractionBox[
    RowBox[{"\[Alpha]", "+", "\[CapitalOmega]"}], 
    RowBox[{"2", " ", "\[CapitalOmega]"}]], "<", "p", "<", "1"}]}]], "Output",\

 CellChangeTimes->{
  3.952953693011224*^9, {3.9529537350583487`*^9, 3.952953738944697*^9}, 
   3.953052440992158*^9, 3.953112403695681*^9},
 CellLabel->
  "Out[316]=",ExpressionUUID->"adbaf393-caa6-4b10-84c7-83a6fd176196"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
   RowBox[{
   "Note", " ", "that", " ", "these", " ", "conditions", " ", "just", " ", 
    "rearrange", " ", "the", " ", "above", " ", 
    RowBox[{"expressions", ".", " ", "Additionally"}]}], ",", " ", 
   RowBox[{
   "it", " ", "is", " ", "never", " ", "the", " ", "case", " ", "that", " ", 
    "this", " ", "derivative", " ", "is", " ", "less", " ", "than", " ", 
    "0"}]}], "*)"}]], "Input",
 CellChangeTimes->{{3.952953745239538*^9, 
  3.952953747267412*^9}},ExpressionUUID->"3e11948c-7395-41a7-86c2-\
50f81cc313af"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"D", "[", 
     RowBox[{"biasincons", ",", "\[Alpha]"}], "]"}], "<=", "0"}], "&&", 
   RowBox[{"0", "<", "\[Alpha]", "<", 
    RowBox[{"\[CapitalOmega]", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], "&&", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}], "&&", 
   RowBox[{"\[CapitalOmega]", "<", 
    RowBox[{"y2", "+", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "\[CapitalOmega]", "<", 
    RowBox[{"1", "-", "y2", "-", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "y2", "<", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.952953741232746*^9, 3.952953742068321*^9}, 
   3.953052449787004*^9},
 CellLabel->
  "In[317]:=",ExpressionUUID->"4f8f5360-6c78-42b3-8ff8-e9ab2dda0a67"],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{
  3.9529537455696917`*^9, {3.953052446692122*^9, 3.9530524529228773`*^9}, 
   3.953112407339374*^9},
 CellLabel->
  "Out[317]=",ExpressionUUID->"1166558a-0a7a-481f-b0c9-45da376e5217"]
}, Open  ]]
},
WindowSize->{Full, Full},
WindowMargins->{{316, Automatic}, {Automatic, 50}},
FrontEndVersion->"13.2 for Mac OS X ARM (64-bit) (November 18, 2022)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"cb0d3ba6-7299-485a-a607-760c3d29bfbe"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 156, 3, 30, "Input",ExpressionUUID->"3617b34d-ef09-4428-a2eb-79a12bd4ca3d"],
Cell[717, 25, 519, 14, 30, "Input",ExpressionUUID->"f9aa309a-25e8-4457-a9a0-2277dc54ac75"],
Cell[CellGroupData[{
Cell[1261, 43, 2319, 65, 87, "Input",ExpressionUUID->"c46a4a56-c406-4c5c-922f-c8e82667596c"],
Cell[3583, 110, 202, 4, 34, "Output",ExpressionUUID->"c7eb2290-9afe-48b0-b2d1-05fac0b85a5a"]
}, Open  ]],
Cell[CellGroupData[{
Cell[3822, 119, 4122, 116, 171, "Input",ExpressionUUID->"72e51ce6-d777-433d-acd1-c123d2cff257"],
Cell[7947, 237, 1501, 41, 65, "Output",ExpressionUUID->"7c70be9a-e332-47a0-81b3-06fd6c169002"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9485, 283, 1379, 39, 73, "Input",ExpressionUUID->"a112d107-9e02-414f-a5e0-65bf309799bb"],
Cell[10867, 324, 203, 4, 34, "Output",ExpressionUUID->"6bec4dc2-6524-4a36-8148-3645ab56e019"]
}, Open  ]],
Cell[11085, 331, 336, 8, 30, "Input",ExpressionUUID->"f9b8163c-f85f-4bbc-bd47-8d3d1d54fdb9"],
Cell[CellGroupData[{
Cell[11446, 343, 304, 7, 30, "Input",ExpressionUUID->"db7cada0-1ec7-4046-8f5e-27c696d96d19"],
Cell[11753, 352, 1469, 46, 59, "Output",ExpressionUUID->"eedd9df1-e3e7-4511-b071-b9c913743bb7"]
}, Open  ]],
Cell[13237, 401, 411, 9, 73, "Input",ExpressionUUID->"b949584c-9273-4d90-9be9-b5ed013a7d36"],
Cell[CellGroupData[{
Cell[13673, 414, 1691, 49, 50, "Input",ExpressionUUID->"89f0e175-e4cb-41ed-82b4-383605cad1c6"],
Cell[15367, 465, 248, 4, 34, "Output",ExpressionUUID->"700e9bd2-c9f0-4bc3-af23-1716f750dc8f"]
}, Open  ]],
Cell[15630, 472, 1674, 36, 73, "Input",ExpressionUUID->"d15fd09d-2a94-4f5a-9468-64b5a7014b03"],
Cell[CellGroupData[{
Cell[17329, 512, 855, 21, 30, "Input",ExpressionUUID->"40127503-021c-4797-8dae-1f5dd1004206"],
Cell[18187, 535, 731, 19, 49, "Output",ExpressionUUID->"adbaf393-caa6-4b10-84c7-83a6fd176196"]
}, Open  ]],
Cell[18933, 557, 566, 13, 30, "Input",ExpressionUUID->"3e11948c-7395-41a7-86c2-50f81cc313af"],
Cell[CellGroupData[{
Cell[19524, 574, 806, 21, 30, "Input",ExpressionUUID->"4f8f5360-6c78-42b3-8ff8-e9ab2dda0a67"],
Cell[20333, 597, 236, 5, 57, "Output",ExpressionUUID->"1166558a-0a7a-481f-b0c9-45da376e5217"]
}, Open  ]]
}
]
*)

